auxiliary predicate - significado y definición. Qué es auxiliary predicate
Diclib.com
Diccionario ChatGPT
Ingrese una palabra o frase en cualquier idioma 👆
Idioma:

Traducción y análisis de palabras por inteligencia artificial ChatGPT

En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:

  • cómo se usa la palabra
  • frecuencia de uso
  • se utiliza con más frecuencia en el habla oral o escrita
  • opciones de traducción
  • ejemplos de uso (varias frases con traducción)
  • etimología

Qué (quién) es auxiliary predicate - definición

PREDICATE THAT TAKES ONLY INDIVIDUAL(S) CONSTANTS OR VARIABLES AS ARGUMENT(S)
One-place predicate; Two-place predicate

Predicate (mathematical logic)         
CONCEPT OF MATHEMATICAL LOGIC
Logical predicate; Mathematical statement; Predicate (mathematics); Predicate (computer programming); Predication (computer programming); Predicate (logic); Boolean predicates
In logic, a predicate is a symbol which represents a property or a relation. For instance, in the first order formula P(a), the symbol P is a predicate which applies to the individual constant a.
Archaeography         
SCHOLARLY DISCIPLINES WHICH HELP EVALUATE AND USE HISTORICAL SOURCES AND ARE SEEN AS AUXILIARY FOR HISTORICAL RESEARCH
Auxiliary science of history; Auxiliary science to history; Auxiliary sciences to history; Auxiliary Sciences of History; Auxiliary branches of history; Auxiliary sciences; Ancillary sciences of history; Archaeography
·noun A description of, or a treatise on, antiquity or antiquities.
Auxiliary sciences of history         
SCHOLARLY DISCIPLINES WHICH HELP EVALUATE AND USE HISTORICAL SOURCES AND ARE SEEN AS AUXILIARY FOR HISTORICAL RESEARCH
Auxiliary science of history; Auxiliary science to history; Auxiliary sciences to history; Auxiliary Sciences of History; Auxiliary branches of history; Auxiliary sciences; Ancillary sciences of history; Archaeography
Auxiliary (or ancillary) sciences of history are scholarly disciplines which help evaluate and use historical sources and are seen as auxiliary for historical research. Many of these areas of study, classification and analysis were originally developed between the 16th and 19th centuries by antiquaries, and would then have been regarded as falling under the broad heading of antiquarianism.

Wikipedia

First-order predicate

In mathematical logic, a first-order predicate is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate and higher-order predicate.

This is not to be confused with a one-place predicate or monad, which is a predicate that takes only one argument. For example, the expression "is a planet" is a one-place predicate, while the expression "is father of" is a two-place predicate.